Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 3.Ident. | Authors (with country if any) | Title |
---|---|---|
001C40 | Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne] | Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi |
001C63 | Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne] | Automatic Complexity Analysis |
001E42 | Flemming Nielson [Danemark] ; Helmut Seidl [Allemagne] | Control-Flow Analysis in Cubic Time |
This area was generated with Dilib version V0.6.31. |